Skip to content

copilot-theorem: Remove unused pragmas. Refs #613. - #630

Closed
carte731 wants to merge 10 commits into
Copilot-Language:masterfrom
carte731:master
Closed

copilot-theorem: Remove unused pragmas. Refs #613.#630
carte731 wants to merge 10 commits into
Copilot-Language:masterfrom
carte731:master

Conversation

@carte731

@carte731 carte731 commented Jun 25, 2025 •
edited by ivanperez-keera
Loading

Copy link
Copy Markdown
Collaborator

Remove unused pragmas from copilot-theorem and update the changed logs, as as prescribed in the solution proposed for #613.

carte731 and others added 10 commits May 29, 2025 07:01
@ivanperez-keera ivanperez-keera changed the title copilot-theorem: Removing unused pragmas copilot-theorem: Remove unused pragmas. Refs #613. Jul 1, 2025
@ivanperez-keera

ivanperez-keera commented Jul 1, 2025 •
edited
Loading

Copy link
Copy Markdown
Member

Change Manager:

  • Phrase commit messages in imperative.
  • Add issue number to summary line of all commit messages.
  • Add package name at the beginning of summary line of all commit messages.
  • Add description of each commit message.
  • Squash last commits referring to changelog.
  • Align pragmas whose alignment is changed by the removal of one of these pragmas.
  • Rephrase changelog commit message to follow format used in other commits.

@carte731 carte731 closed this Jul 2, 2025
@carte731 carte731 mentioned this pull request Jul 2, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@carte731 @ivanperez-keera